Results for 'Lucas Amaral Lauriano'

999 found
Order:
  1.  29
    When Aspirational Talk Backfires: The Role of Moral Judgements in Employees’ Hypocrisy Interpretation.Lucas Amaral Lauriano, Juliane Reinecke & Michael Etter - 2021 - Journal of Business Ethics 181 (4):827-845.
    Corporate social responsibility (CSR) aspirations by companies have been identified as a motivating factor for active employee participation in CSR implementation. However, a failure to practise what one preaches can backfire and lead to attribution of hypocrisy. Drawing on a qualitative study of an award-winning sustainability pioneer in the cosmetics sector, we explore the role of moral judgement in how and when employees interpret word–deed misalignment in CSR implementation as hypocritical. First, our case reveals that high CSR aspirations by companies (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  9
    Navigating Academia’s Stressful Waters: Discussing the Power of Horizontal Linkages for Early-Career Researchers.Lucas Amaral Lauriano, Julia Grimm & Camilo Arciniegas Pradilla - 2024 - Business and Society 63 (3):496-501.
    Mental health issues are on the rise among early career researchers (ECRs), endangering the future of academia. Horizontal linkages among ECRs can play a role in building a reliable emotional support system. We offer four suggestions to overcome existing barriers and foster these linkages.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  10
    Comentário a “A ruptura da epistemologia histórica francesa com o neokantismo: Bachelard e Canguilhem”: “Zurück zu Dilthey!”.Lucas Alessandro Duarte Amaral - 2022 - Trans/Form/Ação 45 (1):87-94.
  4.  15
    Estudos Neokantianos, de Mario Ariel González Porta.Lucas A. D. Amaral - 2021 - Kant E-Prints 16 (2):310-317.
    Talvez “redescobrimento” seja uma caracterização adequada para designar o _status_ do movimento neokantiano atualmente. Se, por um lado, o neokantismo tem recebido uma maior atenção em diversos lugares da Europa, América do norte, Ásia, e em alguns países da América Latina, por outro, na ainda jovem cultura filosófica brasileira, o estudo desse importante e decisivo movimento é algo atípico dentro de nossas instituições de ensino, para dizer o mínimo. De fato, a quantidade de trabalhos acadêmicos, artigos e livros sobre as (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  16
    Apresentação do Dossiê Neokantismo / Presentation of the Dossier Neo-Kantianism.Adriano R. Mergulhão, Lucas A. D. Amaral & Rafael R. Garcia - 2021 - Kant E-Prints 16 (2):9-21.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  24
    A filosofia da matemática de Frege no contexto do neokantismo.Gottfried Gabriel, Sven Schlotter, Lucas A. D. Amaral & Rafael R. Garcia - 2021 - Kant E-Prints 16 (2):363-376.
    Há muitos pontos de concordância entre Frege e os neokantianos. Isso vale especialmente para os representantes do neokantismo da teoria do valor ou do Sudoeste alemão na tradição de Hermann Lotze. Não discutiremos aqui todos os aspectos dessa proximidade; de acordo com o tema que propomos, ficaremos restritos à filosofia da matemática. A primeira parte do artigo tratará da relação entre aritmética e geometria, mostrando surpreendentes semelhanças entre Frege e o neokantiano Otto Liebmann. A segunda parte discutirá as diferentes recepções (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  14
    Cultura como segunda natureza: Filosofia da cultura, Filosofia transcendental “naturalizada” e a questão do espaço da cultura.Sebastian Luft & Lucas A. D. Amaral - 2021 - Kant E-Prints 16 (2):377-397.
    Nesta contribuição, a filosofia da cultura de Cassirer é apresentada como uma aplicação especial da filosofia transcendental kantiana, então comparada a outra tradição aqui, a Escola de Pittsburgh, especialmente McDowell. O resultado é o conceito de Sellars de “espaço de razões”, que é então expandido por McDowell com seu conceito de “segunda natureza”. Uma interpretação interessante de um dos primeiros intérpretes de Cassirer – Howe – torna possível trazer “Marburgo” e “Pittsburgo” para a conversa. O resultado dessa comparação será uma (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  16
    Reseña de Cuando amar era pecado. Sexualidad, poder e identidad entre los sodomitas coloniales. , de Fernanda Molina. Lima: IFEA, Plural editores, 2017. 179. [REVIEW]Lucas Esteban Rebagliati - 2018 - Corpus: Archivos virtuales de la alteridad americana.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  5
    Reseña de Cuando amar era pecado. Sexualidad, poder e identidad entre los sodomitas coloniales. (Virreinato del Perú, siglos XVI-XVII), de Fernanda Molina. Lima: IFEA, Plural editores, 2017. 179. [REVIEW]Lucas Esteban Rebagliati - 2018 - Corpus: Archivos virtuales de la alteridad americana.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  1
    Reseña de Cuando amar era pecado. Sexualidad, poder e identidad entre los sodomitas coloniales. (Virreinato del Perú, siglos XVI-XVII), de Fernanda Molina. Lima: IFEA, Plural editores, 2017. 179. [REVIEW]Lucas Esteban Rebagliati - 2018 - Corpus.
  11. Aristóteles, Física I-II.Lucas Angioni - 2009 - Editora da Unicamp.
    Translation of Aristotle's Physics I-II into Portuguese, with commentaries. Tradução para o português dos livros I e II da Física de Aristóteles, com comentários.
    Direct download  
     
    Export citation  
     
    Bookmark   306 citations  
  12. Phenomenal Conservatism.Luca Moretti - 2015 - Analysis 75 (2):296-309.
    I review recent work on Phenomenal Conservatism, the position introduced by Michael Huemer according to which if it seems that P to a subject S, in the absence of defeaters S has thereby some degree of justification for believing P.
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   29 citations  
  13. Aristóteles, As Partes dos Animais, Livro I.Lucas Angioni - 1999 - Cadernos de História e Filosofia da Ciência.
  14.  40
    Board Gender Diversity and Corporate Response to Sustainability Initiatives: Evidence from the Carbon Disclosure Project.Walid Ben-Amar, Millicent Chang & Philip McIlkenny - 2017 - Journal of Business Ethics 142 (2):369-383.
    This paper investigates the effect of female representation on the board of directors on corporate response to stakeholders’ demands for increased public reporting about climate change-related risks. We rely on the Carbon Disclosure Project as a sustainability initiative supported by institutional investors. Greenhouse gas emissions measurement and its disclosure to investors can be thought of as a first step toward addressing climate change issues and reducing the firm’s carbon footprint. Based on a sample of publicly listed Canadian firms over the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   27 citations  
  15. When warrant transmits and when it doesn’t: towards a general framework.Luca Moretti & Tommaso Piazza - 2013 - Synthese 190 (13):2481-2503.
    In this paper we focus on transmission and failure of transmission of warrant. We identify three individually necessary and jointly sufficient conditions for transmission of warrant, and we show that their satisfaction grounds a number of interesting epistemic phenomena that have not been sufficiently appreciated in the literature. We then scrutinise Wright’s analysis of transmission failure and improve on extant readings of it. Nonetheless, we present a Bayesian counterexample that shows that Wright’s analysis is partially incoherent with our analysis of (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  16. Inferential seemings and the problem of reflective awareness.Luca Moretti - 2019 - Canadian Journal of Philosophy 49 (2):253-271.
    Phenomenal conservatism (PC) is the internalist view that non-inferential justification rests on appearances. PC’s advocates have recently argued that seemings are also required to explain inferential justification. The most general and developed view to this effect is Huemer (2016)’s theory of inferential seemings (ToIS). Moretti (2018) has shown that PC is affected by the problem of reflective awareness, which makes PC open to sceptical challenges. In this paper I argue that ToIS is afflicted by a version of the same problem (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  17. The Evolution of Denial.Luca Incurvati & Giorgio Sbardolini - forthcoming - British Journal for the Philosophy of Science.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18. Introdução à teoria da predicação em Aristóteles.Lucas Angioni - 2006 - Editora da Unicamp.
    This is an introductory handbook for some of the main themes around the notion of predication in Aristotle. It does not aim at being exhaustive, but only sketches some important lines about the subject; it contains an introductory essay, besides the translation (into Portuguese) and commentary of basic texts (such as Posterior Analytics I-22, Categories 1-5, Interpretation 1-6 etc.).
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   154 citations  
  19. .Luca Incurvati & Julian J. Schlöder - 2023 - New York: Oxford University Press USA.
  20. As noções aristotélicas de substância e essência.Lucas Angioni - 2008 - Editora da Unicamp.
    This book discusses Aristotle’s notions of essence and substance as they are developed in Metaphysics ZH. I examine Aristotle's argument at length and defends an unorthodox interpretation according to which his motivation is to provide an answer against a conflation between criteria for existential priority (delivering substances as primary beings) and criteria for explanatory priority (delivering essences as primary principles).
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   108 citations  
  21. Aristóteles, Segundos Analíticos, Livro I.Lucas Angioni - 2004 - Campinas, Brazil: Instituto de Filosofia e Ciências Humanas, Universidade de Campinas.
    Translation of Aristotle's Posterior Analytics I into Portuguese, with a few notes, experimental glossary and introduction. The translation, which was made at 2003/4, was preliminary and its publication was intended to provide a didactic tool for courses as well as a provisional resource in research seminars. It needs some revision. I am currently working (slowly...) on the revision of the translation and a new revised one will surely appear at some point.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   103 citations  
  22. Aristóteles, Metafísica Livros IV e VI.Lucas Angioni - 2007 - Campinas, Brazil: Instituto de Filosofia e Ciências Humanas, Universidade de Campinas.
    Translation of Aristotle's Metaphysics IV and VI, with notes. The translation is preliminary and intended as a provisional teaching tool to be also used in seminars and discussions with peers in order to reach a more elaborated version.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   79 citations  
  23.  55
    Conceptions of Set and the Foundations of Mathematics.Luca Incurvati - 2020 - Cambridge University Press.
    Sets are central to mathematics and its foundations, but what are they? In this book Luca Incurvati provides a detailed examination of all the major conceptions of set and discusses their virtues and shortcomings, as well as introducing the fundamentals of the alternative set theories with which these conceptions are associated. He shows that the conceptual landscape includes not only the naïve and iterative conceptions but also the limitation of size conception, the definite conception, the stratified conception and the graph (...)
    Direct download  
     
    Export citation  
     
    Bookmark   17 citations  
  24. Entitlement, epistemic risk and scepticism.Luca Moretti - 2021 - Episteme 18 (4):576-586.
    Crispin Wright maintains that the architecture of perceptual justification is such that we can acquire justification for our perceptual beliefs only if we have antecedent justification for ruling out any sceptical alternative. Wright contends that this principle doesn’t elicit scepticism, for we are non-evidentially entitled to accept the negation of any sceptical alternative. Sebastiano Moruzzi has challenged Wright’s contention by arguing that since our non-evidential entitlements don’t remove the epistemic risk of our perceptual beliefs, they don’t actually enable us to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  25.  6
    Dilthey, um conceito de vida e uma pedagogia.Maria Nazaré de Camargo Pacheco Amaral - 1987 - São Paulo, SP, Brasil: Editora da Universidade de São Paulo.
  26.  5
    Introduction à l'oeuvre du rabbin Hirsch.Jacques Amar - 2014 - Nice: Les éditions Ovadia.
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  6
    Saladin and the Ayyubid Campaigns in the Maghrib.Amar Baadj - 2013 - Al-Qantara 34 (2):267-295.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28. Aristóteles, Segundos Analíticos, Livro II.Lucas Angioni - 2004 - Campinas, Brazil: Instituto de Filosofia e Ciências Humanas, Universidade de Campinas.
    Translation of Aristotle's Posterior Analytics II into Portuguese, with a few notes, experimental glossary and introduction. The translation, which was made at 2002 (with a new printing in 2004), was preliminary and its publication was intended to provide a didactic tool for courses as well as a provisional resource in research seminars. It needs some revision. I am currently working (slowly...) on the revision of the translation and a new revised one will surely appear at some point.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   72 citations  
  29. Problems for Wright's entitlement theory.Luca Moretti - 2021 - In Luca Moretti & Nikolaj Jang Lee Linding Pedersen (eds.), Non-Evidentialist Epistemology. Leiden: Brill. pp. 121-138.
    Crispin Wright’s entitlement theory holds that we have non-evidential justification for accepting propositions of a general type––which Wright calls “cornerstones”––that enables us to acquire justification for believing other propositions––those that we take to be true on the grounds of ordinary evidence. Entitlement theory is meant by Wright to deliver a forceful response to the sceptic who argues that we cannot justify ordinary beliefs. I initially focus on strategic entitlement, which is one of the types of entitlement that Wright has described (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  30. Aristóteles, Metafísica Livros I, II e III.Lucas Angioni - 2008 - Campinas, Brazil: Instituto de Filosofia e Ciências Humanas, Universidade de Campinas.
    Translation of Aristotle's Metaphysics I-III into Portuguese, with a few notes and introduction. The translation, which was made at 2007, is preliminary and its publication was intended to provide a didactic tool for courses as well as a provisional resource in research seminars. It needs some revision. I am currently working (slowly...) on the revision of the translation and a new revised one will surely appear at some point.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   54 citations  
  31.  65
    The Incommensurability of Styles of Reasoning: The Case of the Existence of Theoretical Entities.Luca Sciortino - 2023 - In History of Rationalities: Ways of Thinking from Vico to Hacking and Beyond. New York: Palgrave Macmillan. pp. 271-302.
    In this chapter I shall address the question as to whether there exists a universal and atemporal justification for the claims made by a community that adopts a particular style of reasoning. I shall present a case study in which a claim made in the laboratory style of reasoning has no universal and atemporal justification. As I shall explain, Hacking justifies his belief that unobservable entities exist on the ground that they can be regularly manipulated by experimenters in order to (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  32. Aristóteles: Metafísica, Livros VII-VIII.Lucas Angioni - 2002, 2005 - Campinas, Brazil: Instituto de Filosofia e Ciências Humanas da Unicamp.
    Tradução dos livros Z e H da Metafísica de Aristóteles, com introdução e notas. Translation of Aristotle's Metaphysics Books VII and VIII into Portuguese, with Introduction and Notes.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   61 citations  
  33.  22
    An Accident Waiting to Happen.Amar Bhidé - 2009 - Critical Review: A Journal of Politics and Society 21 (2-3):211-247.
    ABSTRACT Banks provide a valuable but inherently unstable combination of deposit‐taking and lending functions that were successfully held together for several decades after the New Deal by tough banking rules. The weakening of the rules after the 1970s promoted the displacement of traditional relationship‐based banking with securitized, arms‐length alternatives that encouraged banks to undertake activities about which bankers lacked deep relationship‐based knowledge of the risks. Ironically, this risky behavior, encouraged by loosened regulation, was reinforced by progressively tightened securities regulation, which (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  34. À propos de l'indexation discursive.Autour des Travaux de Muriel Amar & Jean-Pierre Cotten Et Marie-Madeleine Varet Textes RéUnis Et PréSentés Par BenoîT Hufschmitt - 1998 - In Jean Pierre Cotten (ed.), Documentation et philosophie. Paris: Diffusion Les Belles Lettres.
     
    Export citation  
     
    Bookmark  
  35.  24
    A Sociedade Romana e sua Política segundo Santo Agostinho.João Batista do Amaral - 2015 - Revista de Teologia 9 (15):71-81.
    The epoch of Augustine is marked by several crises that settled in the Roman society. These crises did not escape from the sharp look of Saint Augustine. He showed how the political action of his contemporaries was something excessively ineffective to answer the wishes of a fair society, integrated by several people and races. This society, that had conquered in history, with mistakes and cleverness, power and glory, booth in the field of science and technology, for itself, the ways that (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36. Aristotle on Necessary Principles and on Explaining X through X’s essence.Lucas Angioni - 2014 - Studia Philosophica Estonica 7 (2):88-112.
    I discuss what Aristotle means when he say that scientific demonstration must proceed from necessary principles. I argue that, for Aristotle, scientific demonstration should not be reduced to sound deduction with necessary premises. Scientific demonstration ultimately depends on the fully appropriate explanatory factor for a given explanandum. This explanatory factor is what makes the explanandum what it is. Consequently, this factor is also unique. When Aristotle says that demonstration must proceed from necessary principles, he means that each demonstration requires the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  37. Aristóteles: De Anima Livros I-III (trechos).Lucas Angioni - 1999 - Campinas, Brazil: Instituto de Filosofia e Ciências Humanas da Universidade de Campinas.
    Translation of passages of Aristotle's De Anima into Portuguese. The passages are these: I.1, I.4 (the 'Rylean passage'); II.1-6; III.1-8. The translation is preliminary.
    Direct download  
     
    Export citation  
     
    Bookmark   52 citations  
  38. Causality and Coextensiveness in Aristotle's Posterior Analytics 1.13.Lucas Angioni - 2018 - Oxford Studies in Ancient Philosophy 54:159-185.
    I discuss an important feature of the notion of cause in Post. An. 1. 13, 78b13–28, which has been either neglected or misunderstood. Some have treated it as if Aristotle were introducing a false principle about explanation; others have understood the point in terms of coextensiveness of cause and effect. However, none offers a full exegesis of Aristotle's tangled argument or accounts for all of the text's peculiarities. My aim is to disentangle Aristotle's steps to show that he is arguing (...)
    Direct download  
     
    Export citation  
     
    Bookmark   25 citations  
  39. Phronesis e Virtude do Caráter em Aristóteles: comentários a Ética a Nicômaco VI.Lucas Angioni - 2011 - Dissertatio 34:303-345.
    These are commentaries to the translation into Portuguese of Nicomachean Ethics VI, found in the same volume of Dissertatio.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   44 citations  
  40. Aristóteles: Etica a Nicômaco Livro VI.Lucas Angioni - 2011 - Dissertatio 34:285-300.
    Tradução para o Português de Ethica Nicomachea VI.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   48 citations  
  41. Os seis requisitos das premissas da demonstração científica em Aristóteles.Lucas Angioni - 2012 - Manuscrito 35 (1):7-60.
    I discuss in this paper the six requirements Aristotle advances at Posterior Analytics A-2, 71b20-33, for the premisses of a scientific demonstration. I argue that the six requirements give no support for an intepretation in terms of “axiomatization”. Quite on the contrary, the six requirements can be consistently understood in a very different picture, according to which the most basic feature of a scientific demonstration is to explain a given proposition by its appropriate cause.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   46 citations  
  42. Definition and essence in Metaphysics vii 4.Lucas Angioni - 2014 - Ancient Philosophy 34 (1):75-100.
    I discuss Aristotle's treatment of essence and definition in Metaphysics VII.4. I argue that it is coherent and perfectly in accord with its broader context. His discussion in VII.4 offers, on the one hand, minimal criteria for what counts as definition and essence for whatever kind of object, but also, on the other hand, stronger criteria for a primary sort of definition and essence—and thereby it serves the interest of book VII in pointing to the explanatory power of the essence (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  43. The Role of Bodily Perception in Emotion: In Defense of an Impure Somatic Theory.Luca Barlassina & Albert Newen - 2014 - Philosophy and Phenomenological Research 89 (3):637-678.
    In this paper, we develop an impure somatic theory of emotion, according to which emotions are constituted by the integration of bodily perceptions with representations of external objects, events, or states of affairs. We put forward our theory by contrasting it with Prinz's pure somatic theory, according to which emotions are entirely constituted by bodily perceptions. After illustrating Prinz's theory and discussing the evidence in its favor, we show that it is beset by serious problems—i.e., it gets the neural correlates (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   33 citations  
  44. Aristotle’s contrast between episteme and doxa in its context (Posterior Analytics I.33).Lucas Angioni - 2019 - Manuscrito 42 (4):157-210.
    Aristotle contrasts episteme and doxa through the key notions of universal and necessary. These notions have played a central role in Aristotle’s characterization of scientific knowledge in the previous chapters of APo. They are not spelled out in APo I.33, but work as a sort of reminder that packs an adequate characterization of scientific knowledge and thereby gives a highly specified context for Aristotle’s contrast between episteme and doxa. I will try to show that this context introduces a contrast in (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  45. O conhecimento científico no livro I dos Segundos Analíticos de Aristóteles.Lucas Angioni - 2007 - Journal of Ancient Philosophy 1 (2):1-24.
    I examine Aristotle’s definition of scientific knowledge in Posterior Analytics 71b 9-12 and try to understand how it relates to the sophistical way of knowing and to "kata sumbebekos knowledge". I claim that scientific knowledge of p requires knowing p by its appropriate cause, and that this appropriate cause is a universal (katholou) in the restricted sense Aristotle proposes in 73b 26-27 ff., i.e., an attribute coextensive with the subject (an extensional feature) and predicated of the subject in itself (an (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   49 citations  
  46.  29
    Rethinking Adolescent Assent: A Triangular Approach.Amar D. Trivedi - 2005 - American Journal of Bioethics 5 (5):75-76.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  47.  6
    A new approach to cyclic ordering of 2D orientations using ternary relation algebras.Amar Isli & Anthony G. Cohn - 2000 - Artificial Intelligence 122 (1-2):137-187.
  48. Plato: Hippias Major.Lucas Angioni - 2019 - Archai: Revista de Estudos Sobre as Origens Do Pensamento Ocidental 26:1-51.
    Trata-se de tradução do Hípias Maior de Platão para o Português, com algumas notas de elucidação e justificação das opções.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  49. Aristóteles e a necessidade do conhecimento científico.Lucas Angioni - 2020 - Discurso 50 (2):193-238.
    I discuss the exact meaning of the thesis according to which the object of scientific knowledge is necessary. The thesis is expressed by Aristotle in the Posterior Analytics, in his definition of scientific knowledge. The traditional interpretation understands this definition as depending on two parallel and independent requirements, the causality requirement and the necessity requirement. Against this interpretation, I try to show, through the examination of several passages that refer to the definition of scientific knowledge, that the necessity requirement specifies (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  50.  24
    Nonstandard Functional Interpretations and Categorical Models.Amar Hadzihasanovic & Benno van den Berg - 2017 - Notre Dame Journal of Formal Logic 58 (3):343-380.
    Recently, the second author, Briseid, and Safarik introduced nonstandard Dialectica, a functional interpretation capable of eliminating instances of familiar principles of nonstandard arithmetic—including overspill, underspill, and generalizations to higher types—from proofs. We show that the properties of this interpretation are mirrored by first-order logic in a constructive sheaf model of nonstandard arithmetic due to Moerdijk, later developed by Palmgren, and draw some new connections between nonstandard principles and principles that are rejected by strict constructivism. Furthermore, we introduce a variant of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 999